Explicit Free Groups in Division Rings

Free Fields in Skew Fields

Building on the work of K. Chiba (J. Algebra 263 (2003), 75– 87), we present sufficient conditions for the completion of a division ring with respect to the metric defined by a discrete valuation function to contain a free field, i.e. the universal field of fractions of a free associative algebra. Several applications to division rings generated by torsion-free nilpotent groups, skew Laurent se...

Triangularization over finite-dimensional division rings using the reduced trace

In this paper we study triangularization of collections of matrices whose entries come from a finite-dimensional division ring. First, we give a generalization of Guralnick's theorem to the case of finite-dimensional division rings and then we show that in this case the reduced trace function is a suitable alternative for trace function by presenting two triangularization results. The first one...

Triangulaizability of Algebras Over Division Rings

On nest modules of matrices over division rings

Let $ m , n in mathbb{N}$, $D$ be a division ring, and $M_{m times n}(D)$ denote the bimodule of all $m times n$ matrices with entries from $D$. First, we characterize one-sided submodules of $M_{m times n}(D)$ in terms of left row reduced echelon or right column reduced echelon matrices with entries from $D$. Next, we introduce the notion of a nest module of matrices with entries from $D$. We ...

Constructing Division Rings as Module-theoretic Direct Limits

If R is an associative ring, one of several known equivalent types of data determining the structure of an arbitrary division ring D generated by a homomorphic image of R is a rule putting on all free R-modules of finite rank matroid structures (closure operators satisfying the exchange axiom) subject to certain functoriality conditions. This note gives a new description of how D may be constru...